# this is the name of the main maude module
LANGUAGE_NAME = OCL-SEMANTICS

LATEX_STYLE = bb
LATEX_TOPMATTER = README.tex

# this is the name of the interesting modules (used by make latex/pdf) 
LANGUAGE_MODULES = OCL-SYNTAX META-MODEL-INTERFACE OCL-SEMANTICS 

#this is the basename of the main file
MAIN_FILE = ocl-semantics

TOOL_DIR =  $(K_BASE)/core/
# include $(TOOL_DIR)make-helper.mk

# this is a space-separated list of basename maude files to run
TESTS = ocl-test.m

compile: 
	../tools/compile.pl $(K_BASE)/core/kompile $(K_BASE)/core/maude/lib/k-prelude.maude ../ocl/values.maude test.k

all:
	compile

clean:
	rm -f *-compiled.maude k-prelude.maude *~
